#ifndef __WDT_H__
#define __WDT_H__

typedef struct {
    unsigned int WTCON;
    unsigned int WTDAT;
    unsigned int WTCNT;
    unsigned int WTCLRINT;
} wdt_t;

#define WDT (*(wdt_t *)0xC0019000)

void hal_wdt_init();

#endif
